star finite property

星形有限性